// @file UnitTestLatticeParams.cpp - unit tests for the utility to
// to find security parameters using the HomomorphicEncryption.org HE standard
// @author TPOC: contact@palisade-crypto.org
//
// @copyright Copyright (c) 2020, Duality Technologies
// All rights reserved.
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
// 1. Redistributions of source code must retain the above copyright notice,
// this list of conditions and the following disclaimer.
// 2. Redistributions in binary form must reproduce the above copyright notice,
// this list of conditions and the following disclaimer in the documentation
// and/or other materials provided with the distribution. THIS SOFTWARE IS
// PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR
// IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
// MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
// EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
// INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
// ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
/*
 This code tests the utils for selecting lattice parameters
 */

#include <iostream>
#include <thread>

#include "gtest/gtest.h"

#include "lattice/backend.h"
#include "math/backend.h"
#include "utils/inttypes.h"
#include "lattice/stdlatticeparms.h"

using namespace std;
using namespace lbcrypto;

class UTLatticeParams : public ::testing::Test {
 protected:
  virtual void SetUp() {}

  virtual void TearDown() {
    // Code here will be called immediately after each test
    // (right before the destructor).
  }
};

// tests the edge cases when log q is right near the point where the ring dimension
// needs to be doubled to be compliant with the HE security standard
TEST_F(UTLatticeParams, edge_cases) {
 uint32_t maxQ = StdLatticeParm::FindMaxQ(HEStd_ternary,HEStd_128_classic,4096);
 uint32_t ringDim = StdLatticeParm::FindRingDim(HEStd_ternary,HEStd_128_classic,maxQ);
 EXPECT_EQ(ringDim, (uint32_t)4096)
        << "Ring dimension is incorrect for an edge case of curQ = maxQ";
 ringDim = StdLatticeParm::FindRingDim(HEStd_ternary,HEStd_128_classic,maxQ-1);
 EXPECT_EQ(ringDim, (uint32_t)4096)
        << "Ring dimension is incorrect for an edge case of curQ = maxQ - 1";
 ringDim = StdLatticeParm::FindRingDim(HEStd_ternary,HEStd_128_classic,maxQ+1);
 EXPECT_EQ(ringDim, (uint32_t)8192)
        << "Ring dimension is incorrect for an edge case of curQ = maxQ + 1";
}
